Restore portions of my comment, which I found less clear after copyedits
authorGlenn Morris <rgm@gnu.org>
Mon, 9 Sep 2013 18:14:50 +0000 (14:14 -0400)
committerGlenn Morris <rgm@gnu.org>
Mon, 9 Sep 2013 18:14:50 +0000 (14:14 -0400)
commit304c438ca1c4e0c6e0aad20e9c63fd123f6349bb
tree2fb4aa163488f6ebbf770b206281c35df839b33f
parentd00efa266375608704af03ee144c06cf83e4f212
Restore portions of my comment, which I found less clear after copyedits
configure.ac